Using an Object-Oriented Predicative Style to Solve the Invoicing Case Study

نویسنده

  • Richard F. Paige
چکیده

We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The method is used in an object-oriented style: first-class citizens of the descriptions are classes and objects. We discuss some of the advantages to using the predicative method in its object-oriented style, as well as its limitations in this problem domain.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using an Object-Oriented Predicative Style to Solve the Invoicing Problem

We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The method is used in an object-oriented style: first-class citizens of the descriptions are classes and objects. We discuss some of the advantages to using the predicative method in its object-oriented style, as well as its limitations in this problem domain.

متن کامل

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

متن کامل

The Invoicing System in UML

In this paper, we propose to model the invoicing system using UML. The modelling process supporting our work is inspired form the Objectory method. This approach is based on the identiication of the system needs and on their implementation in the object-oriented paradigm. For the two cases, we start by determining the system func-tionalities and its interactions with the environment, and then w...

متن کامل

Bunches of Objects

We describe how to specify object-oriented systems using the bunch notation [5] of predicative programming [6]. We specify class interfaces and definitions, static and dynamic collections of objects, methods, inheritance, and polymorphism, and use the approach in two examples. In the process, we consider limitations with the technique, and contrast it with using the Z style of [4].

متن کامل

Relationship between leadership style and Conflict Management among the Managers of the Hospitals sponsored by Lorestan university of medical sciences

Background: Hospital as the gravitational center of the health and treatment system and an open system involving complex processes and various (qualitative and quantitative) resources, needs an effective leadership style and an approperiate strategy to solve the organizational disagreements and conflicts in order to achieve its basic objectives. The object of this research is to study the relat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998